((v1 v2 6) (v1 v3 4) (v1 v4 6) (v1 v5 8) (v1 v6 8) (v1 v7 0) (v1 v8 2) (v1 v9 1) (v1 v10 8) (v1 v11 6) (v1 v12 8) (v1 v13 3) (v1 v14 1) (v1 v15 0) (v1 v16 3) (v1 v17 9))
121
((v12 v13) (v7 v15) (v5 v6) (v14 v11) (v7 v1) (v13 v5) (v5 v15) (v16 v2))